type T = [foo string]
